769014afa6ff5686f7b0e47f60b1aeb245275041,soot-jcrypt/src/edu/rpi/jcrypt/JCryptConstraintSolver.java,JCryptConstraintSolver,addLinearConstraints,#Constraint#Set#,239

Before Change


						tmplist.add(linear);
					}
				}
				if (isParamOrRetValue(left)) {
					for (Constraint gc : getGreaterConstraints(right)) {
						AnnotatedValue r = gc.getRight();
						if (!left.equals(r) && !(r instanceof MethodAdaptValue)) {

After Change


						tmplist.add(linear);
					}
				}
				if ((isParamOrRetValue(left) || isLocalThis(left))) {
					for (Constraint gc : getGreaterConstraints(right)) {
						AnnotatedValue r = gc.getRight();
						if (!left.equals(r) && !(r instanceof MethodAdaptValue)) {